.\"   $Id: viewbddsystem.3,v 1.1 2002/03/18 11:26:51 ludo Exp $
.\" @(#)viewbddsystem.2 2.7 96/07/02 ; Labo masi cao-vlsi; Author : Jacomme Ludovic
.TH VIEWBDDSYSTEM 3 "October 1, 1997" "ASIM/LIP6" "BDD FUNCTIONS"
.SH NAME
viewbddsystem \- displays a \fBbdd\fP system.
.so man1/alc_origin.1
.SH SYNOPSIS
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
void viewbddsystem( BddSystem, ViewIndex )
  bddsystem \(**BddSystem;
  char       ViewIndex;
.ft R
.fi
.SH PARAMETERS
.TP 20
\fIBddSystem\fP
The \fBbdd\fP system to display.
.TP
\fIViewIndex\fP
Flag to display more information.
.SH DESCRIPTION
\fBviewbddsystem\fP displays the \fBbdd\fP system \fIBddSystem\fP.
If \fIViewIndex\fP is true, \fBviewbddsystem\fP displays also
the two fields \fIINDEX_TO_VAR\fP and \fIVAR_TO_INDEX\fP.
If a null pointer is given, the default \fBbdd\fP system is used.
.br
.SH RETURN VALUE
\fBviewbddsystem\fP returns nothing.
.SH EXAMPLE
.ta 3n 6n 9n 12n 15n 18n 21n
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
   bddsystem \(**BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   viewbddsystem( BddSystem, 0 );
   destroybddsystem( (bddsystem \(**)0 );
.ft R
.fi
.SH SEE ALSO
.BR bdd (1)


.so man1/alc_bug_report.1

